Presupposition projection as proof construction

Even though Van der Sandt's presuppositions as anaphora approach is empirically successful, it fails to give a formal account of the interaction between world-knowledge and presuppositions. In this paper, an algorithm is sketched which is based on the idea of presuppositions as anaphora. It improves on this approach by employing a deductive system, Constructive Type Theory (CTT), to get a formal handle on the way world-knowledge influences presupposition projection. In CTT, proofs for expressions are explicitly represented as objects. These objects can be seen as a generalization of DRT's discourse markers. They are useful in dealing with presuppositional phenomena which require world-knowledge, such as Clark's bridging examples and Beaver's conditional presuppositions

Взаимосвязь ожирения и нарушений углеводного обмена с синдромом обструктивного апноэ во сне

Представлены литературные данные клинических исследований, в которых синдром обструктивного апноэ во сне (СОАС) рассматривается как фактор риска развития нарушений углеводного обмена, в том числе сахарного диабета 2−го типа. Анализируется взаимосвязь наиболее значимых факторов, влияющих на прогрессирование нарушений углеводного обмена у пациентов с СОАС. Приведен анализ данных о связи СОАС с диабетической автономной нейропатией и инсулинорезистентностью. Рассматривается возможность применения СРАР−терапии для коррекции метаболических нарушений у пациентов с сахарным диабетом.Представлено літературні дані клінічних досліджень, у яких синдром обструктивного апное під час сну (СОАС) розглянуто як фактор ризику розвитку порушень вуглеводного обміну, у тому числі цукрового діабету 2−го типу. Аналізується взаємозв'язок найбільш значущих факторів, що впливають на прогресування порушень вуглеводного обміну у пацієнтів із СОАС. Наведено аналіз даних про зв'язок СОАС із діабетичною автономною нейропатією та інсулінорезистентністю. Розглянуто можливість використання СРАР−терапії для корекції метаболічних порушень у пацієнтів із цукровим діабетом.Literature data about clinical trials, in which sleep apnea syndrome (SAS) is featured as a risk factor of carbohydrate metabolism disorders, including type 2 diabetes mellitus, are presented. Association of the most significant factors influencing the progress carbohydrate metabolism disorders in patients with SAS is analyzed. The data about the association of SAS and diabetic autonomous neuropathy and insulin resistance are featured. Possibility to use CPAP therapy for correction of metabolic disorders in patients with diabetes mellitus is discussed

Quantitative image analysis for the characterization of microbial aggregates in biological wastewater treatment : a review

Quantitative image analysis techniques have gained an undeniable role in several fields of research during the last decade. In the field of biological wastewater treatment (WWT) processes, several computer applications have been developed for monitoring microbial entities, either as individual cells or in different types of aggregates. New descriptors have been defined that are more reliable, objective, and useful than the subjective and time-consuming parameters classically used to monitor biological WWT processes. Examples of this application include the objective prediction of filamentous bulking, known to be one of the most problematic phenomena occurring in activated sludge technology. It also demonstrated its usefulness in classifying protozoa and metazoa populations. In high-rate anaerobic processes, based on granular sludge, aggregation times and fragmentation phenomena could be detected during critical events, e.g., toxic and organic overloads. Currently, the major efforts and needs are in the development of quantitative image analysis techniques focusing on its application coupled with stained samples, either by classical or fluorescent-based techniques. The use of quantitative morphological parameters in process control and online applications is also being investigated. This work reviews the major advances of quantitative image analysis applied to biological WWT processes.The authors acknowledge the financial support to the project PTDC/EBB-EBI/103147/2008 and the grant SFRH/BPD/48962/2008 provided by Fundacao para a Ciencia e Tecnologia (Portugal)

Declarative questions in discourse

Questions in spoken dialogues are often uttered in a declarative form. Since more than 50% of these questions cannot be recognized as such without contextual features, a speaker must, at the risk of misunderstanding, have special reasons for using a declarative form instead of an interrogative one. Two experiments were carried out to determine the contextual features that contribute to the use of a declarative question. Dialogues were presented on paper in both experiments. In the first experiment, subjects had to indicate whether a question in the dialogue was originally used in a declarative or an interrogative form; in the second, the subjects had to estimate the speaker's certainty about the correctness of the propositional content of the questions in the first experiment. The experimental results indicate that declaratives are often used for questioning if the speaker wants to verify information already provided in the dialogue and that the use of declaratives significantly correlates with the speaker's degree of certainty about the propositional content of the question. Moreover, from the experimental results it is hypothesized that abrupt changes of topic may decrease the use of declaratives